Logic in computer science - PDFSEARCH.IO - Document Search Engine

Logic in computer science
Results: 2713

#	Item
271	Very Efficient Conversions Morten Welinder? Carnegie Mellon University School of Computer Science 5000 Forbes Avenue, Pittsburgh, PA–15213, USA Email: Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:53 Logic in computer science Mathematical logic Theoretical computer science Logical consequence Theorem Lambda calculus Rewriting Mathematical proof
272	INSTRUCTIONS FOR ENMAP CONTEST Dear colleagues, as explained in our conference contribution (Braun et al. 2015), you should proceed as follows with the data downloaded from our website. Add to Reading List Source URL: www.ipf.kit.edu Language: English - Date: 2016-01-20 11:11:05 Machine learning Algorithm Mathematical logic Theoretical computer science Photogrammetry Statistical classification
273	PDF Document Add to Reading List Source URL: staff.ustc.edu.cn Language: English - Date: 2015-04-24 09:43:30 Logic in computer science Formal methods Mathematical logic Notation Programming language Formal verification Semantics Structure Program transformation Logic programming Model theory Denotational semantics
274	Microsoft Word - 2015_11_19_jha_abstract.docx Add to Reading List Source URL: irafm.osu.cz Language: English - Date: 2015-11-10 06:43:07 Fuzzy logic Artificial intelligence Logic in computer science Systems scientists Lotfi A. Zadeh Kathmandu Boolean algebra Fuzzy concept
275	IFSA Newsletter Vol. 3, No. 3, December 2006 In this issue: KAUFMANN PRIZE AWARD TO PROF. JANUSZ KACPRZYK 1 Add to Reading List Source URL: isdlab.ie.ntnu.edu.tw Language: English - Date: 2016-04-12 22:54:43 Artificial intelligence Systems scientists Jacek M. Zurada Logic in computer science Computational intelligence Lotfi A. Zadeh Fuzzy logic George Klir Artificial neural network
276	LNCSLongest Motifs with a Functionally Equivalent Central Block Add to Reading List Source URL: pbil.univ-lyon1.fr Language: English - Date: 2008-10-22 02:35:21 Logic in computer science FO Finite model theory Combinatory logic Formal languages Planted motif search
277	Computational Logic Herbrand’s Theorem Damiano Zanardini UPM European Master in Computational Logic (EMCL) School of Computer Science Add to Reading List Source URL: costa.ls.fi.upm.es Language: English - Date: 2012-07-17 05:12:14 Mathematical logic Modal logic Term Herbrand interpretation Ground expression
278	Towards Diagrammability and Efficiency in Event Sequence Languages Kathi Fisler Department of Computer Science WPI (Worcester, MA, USA) Add to Reading List Source URL: web.cs.wpi.edu Language: English - Date: 2005-05-29 14:49:51 Finite automata Theoretical computer science Formal languages Infographics Linear temporal logic Temporal logic Finite-state machine Diagram Sequence Formal verification Automata theory Bchi automaton
279	Position paper on Usable Verification Saddek Bensalem Joseph Sifakis Verimag Laboratory, Universit´e Joseph Fourier Grenoble, CNRS Add to Reading List Source URL: fm.csl.sri.com Language: English - Date: 2010-11-05 16:21:44 Formal methods NuSMV Logic in computer science Model checking Formal verification Invariant
280	Analysis and Transformation of Proof Procedures David Andre de Waal A thesis submitted to the University of Bristol in accordance with the requirements for the degree of Doctor of Philosophy in the Faculty of Engineeri Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:11 Automated theorem proving Logic in computer science Formal methods Theoretical computer science Prolog Logic programming Model elimination Mathematical logic E theorem prover First-order logic Lean theorem prover Automated reasoning

UPDATE